node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
link(1,18) :- #0.849.
link(18,1) :- #0.039.
link(1,21) :- #0.23.
link(21,1) :- #0.206.
link(1,27) :- #0.447.
link(27,1) :- #0.06.
link(1,29) :- #0.478.
link(29,1) :- #0.403.
link(1,41) :- #0.576.
link(41,1) :- #0.069.
link(1,49) :- #0.273.
link(49,1) :- #0.871.
link(1,50) :- #0.413.
link(50,1) :- #0.51.
link(1,61) :- #0.059.
link(61,1) :- #0.178.
link(1,63) :- #0.635.
link(63,1) :- #0.322.
link(1,86) :- #0.953.
link(86,1) :- #0.401.
link(1,87) :- #0.061.
link(87,1) :- #0.792.
link(1,101) :- #0.686.
link(101,1) :- #0.511.
link(1,104) :- #0.825.
link(104,1) :- #0.449.
link(1,108) :- #0.257.
link(108,1) :- #0.504.
link(1,109) :- #0.345.
link(109,1) :- #0.478.
link(1,122) :- #0.068.
link(122,1) :- #0.409.
link(2,36) :- #0.495.
link(36,2) :- #0.922.
link(2,40) :- #0.786.
link(40,2) :- #0.566.
link(2,58) :- #0.612.
link(58,2) :- #0.248.
link(2,62) :- #0.466.
link(62,2) :- #0.275.
link(2,71) :- #0.975.
link(71,2) :- #0.211.
link(2,76) :- #0.912.
link(76,2) :- #0.858.
link(2,80) :- #0.111.
link(80,2) :- #0.164.
link(2,82) :- #0.063.
link(82,2) :- #0.941.
link(2,85) :- #0.853.
link(85,2) :- #0.819.
link(2,87) :- #0.384.
link(87,2) :- #0.66.
link(2,97) :- #0.408.
link(97,2) :- #0.483.
link(2,115) :- #0.189.
link(115,2) :- #0.19.
link(2,121) :- #0.204.
link(121,2) :- #0.147.
link(3,5) :- #0.185.
link(5,3) :- #0.246.
link(3,8) :- #0.952.
link(8,3) :- #0.751.
link(3,15) :- #0.881.
link(15,3) :- #0.797.
link(3,20) :- #0.847.
link(20,3) :- #0.873.
link(3,26) :- #0.052.
link(26,3) :- #0.386.
link(3,27) :- #0.104.
link(27,3) :- #0.156.
link(3,50) :- #0.078.
link(50,3) :- #0.008.
link(3,51) :- #0.194.
link(51,3) :- #0.585.
link(3,67) :- #0.413.
link(67,3) :- #0.266.
link(3,68) :- #0.983.
link(68,3) :- #0.168.
link(3,74) :- #0.794.
link(74,3) :- #0.217.
link(3,81) :- #0.034.
link(81,3) :- #0.667.
link(3,98) :- #0.453.
link(98,3) :- #0.501.
link(3,102) :- #0.374.
link(102,3) :- #0.285.
link(3,105) :- #0.768.
link(105,3) :- #0.561.
link(3,117) :- #0.869.
link(117,3) :- #0.046.
link(3,120) :- #0.62.
link(120,3) :- #0.215.
link(3,125) :- #0.753.
link(125,3) :- #0.339.
link(4,23) :- #0.403.
link(23,4) :- #0.066.
link(4,48) :- #0.052.
link(48,4) :- #0.245.
link(4,69) :- #0.209.
link(69,4) :- #0.014.
link(4,74) :- #0.224.
link(74,4) :- #0.138.
link(4,86) :- #0.32.
link(86,4) :- #0.96.
link(4,90) :- #0.021.
link(90,4) :- #0.347.
link(4,91) :- #0.535.
link(91,4) :- #0.023.
link(4,100) :- #0.792.
link(100,4) :- #0.421.
link(4,103) :- #0.454.
link(103,4) :- #0.795.
link(5,17) :- #0.407.
link(17,5) :- #0.891.
link(5,19) :- #0.854.
link(19,5) :- #0.086.
link(5,20) :- #0.911.
link(20,5) :- #0.024.
link(5,25) :- #0.444.
link(25,5) :- #0.048.
link(5,29) :- #0.618.
link(29,5) :- #0.42.
link(5,32) :- #0.401.
link(32,5) :- #0.632.
link(5,39) :- #0.726.
link(39,5) :- #0.874.
link(5,55) :- #0.988.
link(55,5) :- #0.925.
link(5,58) :- #0.817.
link(58,5) :- #0.388.
link(5,59) :- #0.833.
link(59,5) :- #0.688.
link(5,70) :- #0.727.
link(70,5) :- #0.93.
link(5,79) :- #0.978.
link(79,5) :- #0.243.
link(5,95) :- #0.852.
link(95,5) :- #0.41.
link(5,99) :- #0.915.
link(99,5) :- #0.016.
link(5,100) :- #0.845.
link(100,5) :- #0.475.
link(5,119) :- #0.453.
link(119,5) :- #0.333.
link(6,22) :- #0.79.
link(22,6) :- #0.382.
link(6,28) :- #0.522.
link(28,6) :- #0.349.
link(6,45) :- #0.125.
link(45,6) :- #0.234.
link(6,49) :- #0.864.
link(49,6) :- #0.139.
link(6,70) :- #0.222.
link(70,6) :- #0.803.
link(6,74) :- #0.873.
link(74,6) :- #0.297.
link(6,77) :- #0.224.
link(77,6) :- #0.606.
link(6,82) :- #0.682.
link(82,6) :- #0.83.
link(6,92) :- #0.348.
link(92,6) :- #0.794.
link(6,96) :- #0.467.
link(96,6) :- #0.55.
link(6,97) :- #0.927.
link(97,6) :- #0.976.
link(6,100) :- #0.158.
link(100,6) :- #0.502.
link(6,113) :- #0.207.
link(113,6) :- #0.644.
link(7,25) :- #0.364.
link(25,7) :- #0.625.
link(7,48) :- #0.767.
link(48,7) :- #0.425.
link(7,54) :- #0.876.
link(54,7) :- #0.793.
link(7,57) :- #0.095.
link(57,7) :- #0.419.
link(7,80) :- #0.294.
link(80,7) :- #0.583.
link(7,86) :- #0.61.
link(86,7) :- #0.39.
link(7,87) :- #0.84.
link(87,7) :- #0.532.
link(7,103) :- #0.327.
link(103,7) :- #0.125.
link(7,117) :- #0.58.
link(117,7) :- #0.778.
link(7,123) :- #0.784.
link(123,7) :- #0.764.
link(8,9) :- #0.992.
link(9,8) :- #0.848.
link(8,18) :- #0.04.
link(18,8) :- #0.127.
link(8,22) :- #0.008.
link(22,8) :- #0.947.
link(8,43) :- #0.891.
link(43,8) :- #0.693.
link(8,52) :- #0.439.
link(52,8) :- #0.536.
link(8,115) :- #0.642.
link(115,8) :- #0.07.
link(9,37) :- #0.589.
link(37,9) :- #0.679.
link(9,45) :- #0.973.
link(45,9) :- #0.857.
link(9,58) :- #0.176.
link(58,9) :- #0.86.
link(9,65) :- #0.848.
link(65,9) :- #0.33.
link(9,92) :- #0.63.
link(92,9) :- #0.581.
link(9,96) :- #0.12.
link(96,9) :- #0.333.
link(9,113) :- #0.749.
link(113,9) :- #0.364.
link(9,125) :- #0.995.
link(125,9) :- #0.107.
link(10,26) :- #0.638.
link(26,10) :- #0.249.
link(10,32) :- #0.898.
link(32,10) :- #0.231.
link(10,33) :- #0.14.
link(33,10) :- #0.742.
link(10,47) :- #0.458.
link(47,10) :- #0.625.
link(10,49) :- #0.381.
link(49,10) :- #0.522.
link(10,64) :- #0.209.
link(64,10) :- #0.18.
link(10,65) :- #0.146.
link(65,10) :- #0.269.
link(10,67) :- #0.547.
link(67,10) :- #0.568.
link(10,70) :- #0.836.
link(70,10) :- #0.317.
link(10,77) :- #0.358.
link(77,10) :- #0.378.
link(10,89) :- #0.619.
link(89,10) :- #0.822.
link(10,91) :- #0.233.
link(91,10) :- #0.768.
link(10,93) :- #0.877.
link(93,10) :- #0.794.
link(10,120) :- #0.075.
link(120,10) :- #0.385.
link(11,27) :- #0.292.
link(27,11) :- #0.042.
link(11,46) :- #0.396.
link(46,11) :- #0.396.
link(11,60) :- #0.278.
link(60,11) :- #0.497.
link(11,62) :- #0.235.
link(62,11) :- #0.036.
link(11,101) :- #0.311.
link(101,11) :- #0.783.
link(11,107) :- #0.071.
link(107,11) :- #0.39.
link(11,117) :- #0.024.
link(117,11) :- #0.583.
link(11,119) :- #0.858.
link(119,11) :- #0.864.
link(11,122) :- #0.225.
link(122,11) :- #0.568.
link(12,20) :- #0.349.
link(20,12) :- #0.586.
link(12,33) :- #0.963.
link(33,12) :- #0.256.
link(12,47) :- #0.69.
link(47,12) :- #0.195.
link(12,58) :- #0.949.
link(58,12) :- #0.431.
link(12,67) :- #0.155.
link(67,12) :- #0.125.
link(12,74) :- #0.592.
link(74,12) :- #0.041.
link(12,86) :- #0.387.
link(86,12) :- #0.655.
link(12,89) :- #0.123.
link(89,12) :- #0.175.
link(12,92) :- #0.135.
link(92,12) :- #0.969.
link(12,103) :- #0.07.
link(103,12) :- #0.584.
link(12,112) :- #0.831.
link(112,12) :- #0.16.
link(12,113) :- #0.379.
link(113,12) :- #0.78.
link(12,118) :- #0.265.
link(118,12) :- #0.045.
link(13,18) :- #0.663.
link(18,13) :- #0.26.
link(13,23) :- #0.631.
link(23,13) :- #0.591.
link(13,40) :- #0.245.
link(40,13) :- #0.408.
link(13,46) :- #0.605.
link(46,13) :- #0.347.
link(13,49) :- #0.437.
link(49,13) :- #0.978.
link(13,94) :- #0.203.
link(94,13) :- #0.274.
link(13,95) :- #0.813.
link(95,13) :- #0.233.
link(13,98) :- #0.824.
link(98,13) :- #0.575.
link(13,117) :- #0.407.
link(117,13) :- #0.243.
link(14,49) :- #0.134.
link(49,14) :- #0.04.
link(14,55) :- #0.837.
link(55,14) :- #0.1.
link(14,94) :- #0.736.
link(94,14) :- #0.282.
link(14,105) :- #0.318.
link(105,14) :- #0.675.
link(14,124) :- #0.721.
link(124,14) :- #0.16.
link(15,20) :- #0.633.
link(20,15) :- #0.834.
link(15,36) :- #0.118.
link(36,15) :- #0.285.
link(15,48) :- #0.902.
link(48,15) :- #0.948.
link(15,49) :- #0.663.
link(49,15) :- #0.659.
link(15,53) :- #0.
link(53,15) :- #0.884.
link(15,66) :- #0.482.
link(66,15) :- #0.068.
link(15,69) :- #0.754.
link(69,15) :- #0.318.
link(15,86) :- #0.908.
link(86,15) :- #0.557.
link(15,89) :- #0.404.
link(89,15) :- #0.87.
link(15,99) :- #0.349.
link(99,15) :- #0.241.
link(15,107) :- #0.951.
link(107,15) :- #0.695.
link(15,112) :- #0.557.
link(112,15) :- #0.411.
link(16,28) :- #0.819.
link(28,16) :- #0.504.
link(16,32) :- #0.761.
link(32,16) :- #0.673.
link(16,43) :- #0.136.
link(43,16) :- #0.517.
link(16,45) :- #0.544.
link(45,16) :- #0.115.
link(16,74) :- #0.98.
link(74,16) :- #0.314.
link(17,21) :- #0.454.
link(21,17) :- #0.793.
link(17,30) :- #0.1.
link(30,17) :- #0.536.
link(17,43) :- #0.53.
link(43,17) :- #0.289.
link(17,46) :- #0.234.
link(46,17) :- #0.575.
link(17,52) :- #0.149.
link(52,17) :- #0.679.
link(17,56) :- #0.794.
link(56,17) :- #0.966.
link(17,73) :- #0.105.
link(73,17) :- #0.748.
link(17,76) :- #0.855.
link(76,17) :- #0.859.
link(17,77) :- #0.869.
link(77,17) :- #0.995.
link(17,98) :- #0.321.
link(98,17) :- #0.374.
link(17,102) :- #0.888.
link(102,17) :- #0.497.
link(18,28) :- #0.465.
link(28,18) :- #0.651.
link(18,38) :- #0.073.
link(38,18) :- #0.523.
link(18,53) :- #0.697.
link(53,18) :- #0.089.
link(18,78) :- #0.589.
link(78,18) :- #0.376.
link(18,98) :- #0.148.
link(98,18) :- #0.561.
link(18,106) :- #0.658.
link(106,18) :- #0.04.
link(18,112) :- #0.059.
link(112,18) :- #0.918.
link(18,120) :- #0.433.
link(120,18) :- #0.04.
link(19,28) :- #0.973.
link(28,19) :- #0.75.
link(19,32) :- #0.546.
link(32,19) :- #0.546.
link(19,47) :- #0.589.
link(47,19) :- #0.382.
link(19,59) :- #0.603.
link(59,19) :- #0.171.
link(19,73) :- #0.87.
link(73,19) :- #0.335.
link(19,75) :- #0.686.
link(75,19) :- #0.386.
link(19,78) :- #0.605.
link(78,19) :- #0.782.
link(19,88) :- #0.513.
link(88,19) :- #0.956.
link(19,123) :- #0.256.
link(123,19) :- #0.697.
link(20,22) :- #0.755.
link(22,20) :- #0.669.
link(20,23) :- #0.155.
link(23,20) :- #0.904.
link(20,40) :- #0.814.
link(40,20) :- #0.644.
link(20,42) :- #0.367.
link(42,20) :- #0.807.
link(20,43) :- #0.763.
link(43,20) :- #0.471.
link(20,55) :- #0.004.
link(55,20) :- #0.292.
link(20,64) :- #0.968.
link(64,20) :- #0.665.
link(20,72) :- #0.976.
link(72,20) :- #0.926.
link(20,85) :- #0.056.
link(85,20) :- #0.698.
link(20,86) :- #0.029.
link(86,20) :- #0.614.
link(20,90) :- #0.146.
link(90,20) :- #0.181.
link(20,97) :- #0.085.
link(97,20) :- #0.28.
link(20,101) :- #0.929.
link(101,20) :- #0.194.
link(20,115) :- #0.949.
link(115,20) :- #0.825.
link(21,22) :- #0.968.
link(22,21) :- #0.141.
link(21,28) :- #0.204.
link(28,21) :- #0.612.
link(21,51) :- #0.159.
link(51,21) :- #0.571.
link(21,56) :- #0.751.
link(56,21) :- #0.474.
link(21,73) :- #0.308.
link(73,21) :- #0.859.
link(21,88) :- #0.044.
link(88,21) :- #0.82.
link(21,90) :- #0.312.
link(90,21) :- #0.554.
link(21,99) :- #0.372.
link(99,21) :- #0.741.
link(21,109) :- #0.967.
link(109,21) :- #0.909.
link(21,111) :- #0.793.
link(111,21) :- #0.269.
link(21,112) :- #0.575.
link(112,21) :- #0.06.
link(21,121) :- #0.983.
link(121,21) :- #0.535.
link(21,125) :- #0.549.
link(125,21) :- #0.658.
link(22,30) :- #0.678.
link(30,22) :- #0.709.
link(22,41) :- #0.232.
link(41,22) :- #0.117.
link(22,59) :- #0.688.
link(59,22) :- #0.225.
link(22,66) :- #0.266.
link(66,22) :- #0.053.
link(22,90) :- #0.153.
link(90,22) :- #0.189.
link(22,95) :- #0.609.
link(95,22) :- #0.731.
link(22,96) :- #0.583.
link(96,22) :- #0.433.
link(22,105) :- #0.72.
link(105,22) :- #0.404.
link(22,113) :- #0.923.
link(113,22) :- #0.773.
link(23,27) :- #0.478.
link(27,23) :- #0.225.
link(23,28) :- #0.898.
link(28,23) :- #0.605.
link(23,38) :- #0.933.
link(38,23) :- #0.746.
link(23,44) :- #0.943.
link(44,23) :- #0.348.
link(23,48) :- #0.463.
link(48,23) :- #0.185.
link(23,63) :- #0.355.
link(63,23) :- #0.983.
link(23,72) :- #0.038.
link(72,23) :- #0.051.
link(23,96) :- #0.71.
link(96,23) :- #0.341.
link(23,110) :- #0.932.
link(110,23) :- #0.088.
link(23,116) :- #0.013.
link(116,23) :- #0.968.
link(23,117) :- #0.053.
link(117,23) :- #0.988.
link(24,29) :- #0.452.
link(29,24) :- #0.665.
link(24,56) :- #0.242.
link(56,24) :- #0.869.
link(24,64) :- #0.565.
link(64,24) :- #0.827.
link(24,70) :- #0.139.
link(70,24) :- #0.133.
link(24,111) :- #0.24.
link(111,24) :- #0.833.
link(24,120) :- #0.967.
link(120,24) :- #0.201.
link(24,125) :- #0.498.
link(125,24) :- #0.13.
link(25,34) :- #0.554.
link(34,25) :- #0.559.
link(25,36) :- #0.697.
link(36,25) :- #0.735.
link(25,56) :- #0.909.
link(56,25) :- #0.996.
link(25,69) :- #0.559.
link(69,25) :- #0.314.
link(25,75) :- #0.3.
link(75,25) :- #0.504.
link(25,76) :- #0.709.
link(76,25) :- #0.238.
link(25,80) :- #0.292.
link(80,25) :- #0.712.
link(25,86) :- #0.7.
link(86,25) :- #0.288.
link(25,89) :- #0.101.
link(89,25) :- #0.376.
link(25,103) :- #0.484.
link(103,25) :- #0.425.
link(25,105) :- #0.505.
link(105,25) :- #0.351.
link(25,108) :- #0.05.
link(108,25) :- #0.057.
link(25,118) :- #0.935.
link(118,25) :- #0.703.
link(25,119) :- #0.355.
link(119,25) :- #0.977.
link(26,40) :- #0.18.
link(40,26) :- #0.675.
link(26,57) :- #0.462.
link(57,26) :- #0.91.
link(26,61) :- #0.79.
link(61,26) :- #0.762.
link(26,67) :- #0.983.
link(67,26) :- #0.948.
link(26,87) :- #0.171.
link(87,26) :- #0.027.
link(26,88) :- #0.924.
link(88,26) :- #0.865.
link(26,89) :- #0.734.
link(89,26) :- #0.536.
link(26,104) :- #0.987.
link(104,26) :- #0.916.
link(26,116) :- #0.234.
link(116,26) :- #0.342.
link(27,41) :- #0.385.
link(41,27) :- #0.686.
link(27,68) :- #0.63.
link(68,27) :- #0.312.
link(27,75) :- #0.561.
link(75,27) :- #0.311.
link(27,83) :- #0.78.
link(83,27) :- #0.371.
link(27,84) :- #0.635.
link(84,27) :- #0.982.
link(27,90) :- #0.053.
link(90,27) :- #0.737.
link(27,91) :- #0.382.
link(91,27) :- #0.523.
link(27,101) :- #0.148.
link(101,27) :- #0.892.
link(27,104) :- #0.44.
link(104,27) :- #0.607.
link(27,113) :- #0.056.
link(113,27) :- #0.365.
link(28,32) :- #0.901.
link(32,28) :- #0.249.
link(28,41) :- #0.225.
link(41,28) :- #0.673.
link(28,43) :- #0.523.
link(43,28) :- #0.828.
link(28,50) :- #0.42.
link(50,28) :- #0.793.
link(28,58) :- #0.199.
link(58,28) :- #0.429.
link(28,68) :- #0.1.
link(68,28) :- #0.281.
link(28,82) :- #0.889.
link(82,28) :- #0.482.
link(28,89) :- #0.961.
link(89,28) :- #0.274.
link(28,97) :- #0.685.
link(97,28) :- #0.033.
link(28,121) :- #0.668.
link(121,28) :- #0.389.
link(29,31) :- #0.643.
link(31,29) :- #0.687.
link(29,32) :- #0.27.
link(32,29) :- #0.29.
link(29,45) :- #0.303.
link(45,29) :- #0.893.
link(29,56) :- #0.741.
link(56,29) :- #0.098.
link(29,61) :- #0.727.
link(61,29) :- #0.465.
link(29,94) :- #0.977.
link(94,29) :- #0.972.
link(29,107) :- #0.346.
link(107,29) :- #0.784.
link(29,108) :- #0.299.
link(108,29) :- #0.934.
link(29,119) :- #0.927.
link(119,29) :- #0.031.
link(29,124) :- #0.281.
link(124,29) :- #0.367.
link(30,47) :- #0.643.
link(47,30) :- #0.928.
link(30,52) :- #0.928.
link(52,30) :- #0.608.
link(30,73) :- #0.094.
link(73,30) :- #0.406.
link(30,81) :- #0.006.
link(81,30) :- #0.536.
link(30,85) :- #0.668.
link(85,30) :- #0.164.
link(30,86) :- #0.407.
link(86,30) :- #0.319.
link(30,87) :- #0.776.
link(87,30) :- #0.412.
link(30,93) :- #0.902.
link(93,30) :- #0.141.
link(30,112) :- #0.075.
link(112,30) :- #0.09.
link(30,115) :- #0.639.
link(115,30) :- #0.376.
link(31,35) :- #0.362.
link(35,31) :- #0.098.
link(31,44) :- #0.229.
link(44,31) :- #0.733.
link(31,49) :- #0.252.
link(49,31) :- #0.575.
link(31,58) :- #0.809.
link(58,31) :- #0.179.
link(31,71) :- #0.389.
link(71,31) :- #0.135.
link(31,74) :- #0.965.
link(74,31) :- #0.18.
link(31,78) :- #0.788.
link(78,31) :- #0.187.
link(31,97) :- #0.748.
link(97,31) :- #0.142.
link(31,102) :- #0.875.
link(102,31) :- #0.722.
link(31,117) :- #0.085.
link(117,31) :- #0.774.
link(31,125) :- #0.116.
link(125,31) :- #0.249.
link(32,42) :- #0.945.
link(42,32) :- #0.975.
link(32,43) :- #0.446.
link(43,32) :- #0.131.
link(32,65) :- #0.471.
link(65,32) :- #0.396.
link(32,66) :- #0.212.
link(66,32) :- #0.405.
link(32,70) :- #0.576.
link(70,32) :- #0.855.
link(32,94) :- #0.512.
link(94,32) :- #0.075.
link(32,102) :- #0.961.
link(102,32) :- #0.73.
link(32,107) :- #0.947.
link(107,32) :- #0.854.
link(32,109) :- #0.185.
link(109,32) :- #0.397.
link(33,44) :- #0.944.
link(44,33) :- #0.734.
link(33,48) :- #0.926.
link(48,33) :- #0.932.
link(33,85) :- #0.556.
link(85,33) :- #0.612.
link(33,87) :- #0.401.
link(87,33) :- #0.023.
link(33,93) :- #0.574.
link(93,33) :- #0.385.
link(33,105) :- #0.575.
link(105,33) :- #0.359.
link(33,108) :- #0.779.
link(108,33) :- #0.498.
link(33,109) :- #0.148.
link(109,33) :- #0.267.
link(33,110) :- #0.286.
link(110,33) :- #0.303.
link(33,123) :- #0.834.
link(123,33) :- #0.909.
link(34,37) :- #0.377.
link(37,34) :- #0.841.
link(34,50) :- #0.355.
link(50,34) :- #0.797.
link(34,54) :- #0.664.
link(54,34) :- #0.78.
link(34,62) :- #0.298.
link(62,34) :- #0.299.
link(34,63) :- #0.117.
link(63,34) :- #0.253.
link(34,91) :- #0.091.
link(91,34) :- #0.462.
link(34,103) :- #0.95.
link(103,34) :- #0.871.
link(34,110) :- #0.215.
link(110,34) :- #0.121.
link(34,113) :- #0.824.
link(113,34) :- #0.209.
link(35,49) :- #0.374.
link(49,35) :- #0.435.
link(35,54) :- #0.535.
link(54,35) :- #0.737.
link(35,61) :- #0.896.
link(61,35) :- #0.846.
link(35,64) :- #0.764.
link(64,35) :- #0.587.
link(35,84) :- #0.657.
link(84,35) :- #0.655.
link(35,94) :- #0.326.
link(94,35) :- #0.277.
link(35,98) :- #0.259.
link(98,35) :- #0.022.
link(35,99) :- #0.44.
link(99,35) :- #0.764.
link(35,103) :- #0.133.
link(103,35) :- #0.073.
link(35,111) :- #0.12.
link(111,35) :- #0.062.
link(36,49) :- #0.433.
link(49,36) :- #0.809.
link(36,50) :- #0.891.
link(50,36) :- #0.331.
link(36,57) :- #0.543.
link(57,36) :- #0.9.
link(36,58) :- #0.54.
link(58,36) :- #0.459.
link(36,62) :- #0.477.
link(62,36) :- #0.624.
link(36,64) :- #0.681.
link(64,36) :- #0.035.
link(36,68) :- #0.151.
link(68,36) :- #0.948.
link(36,84) :- #0.178.
link(84,36) :- #0.236.
link(36,88) :- #0.325.
link(88,36) :- #0.147.
link(36,91) :- #0.104.
link(91,36) :- #0.049.
link(36,107) :- #0.888.
link(107,36) :- #0.354.
link(36,115) :- #0.358.
link(115,36) :- #0.859.
link(37,42) :- #0.967.
link(42,37) :- #0.116.
link(37,49) :- #0.539.
link(49,37) :- #0.27.
link(37,51) :- #0.468.
link(51,37) :- #0.5.
link(37,57) :- #0.289.
link(57,37) :- #0.172.
link(37,66) :- #0.785.
link(66,37) :- #0.367.
link(37,68) :- #0.531.
link(68,37) :- #0.958.
link(37,69) :- #0.42.
link(69,37) :- #0.66.
link(37,74) :- #0.505.
link(74,37) :- #0.121.
link(37,81) :- #0.656.
link(81,37) :- #0.348.
link(37,86) :- #0.912.
link(86,37) :- #0.621.
link(38,48) :- #0.595.
link(48,38) :- #0.992.
link(38,54) :- #0.134.
link(54,38) :- #0.722.
link(38,56) :- #0.14.
link(56,38) :- #0.907.
link(38,61) :- #0.204.
link(61,38) :- #0.765.
link(38,65) :- #0.68.
link(65,38) :- #0.793.
link(38,69) :- #0.966.
link(69,38) :- #0.538.
link(38,70) :- #0.626.
link(70,38) :- #0.483.
link(38,78) :- #0.624.
link(78,38) :- #0.788.
link(38,80) :- #0.646.
link(80,38) :- #0.577.
link(38,83) :- #0.281.
link(83,38) :- #0.481.
link(38,93) :- #0.761.
link(93,38) :- #0.974.
link(38,94) :- #0.244.
link(94,38) :- #0.045.
link(38,122) :- #0.865.
link(122,38) :- #0.385.
link(38,123) :- #0.112.
link(123,38) :- #0.925.
link(39,41) :- #0.904.
link(41,39) :- #0.447.
link(39,46) :- #0.226.
link(46,39) :- #0.861.
link(39,60) :- #0.837.
link(60,39) :- #0.962.
link(39,73) :- #0.926.
link(73,39) :- #0.716.
link(39,77) :- #0.604.
link(77,39) :- #0.56.
link(39,81) :- #0.636.
link(81,39) :- #0.058.
link(39,83) :- #0.084.
link(83,39) :- #0.83.
link(39,98) :- #0.738.
link(98,39) :- #0.871.
link(39,100) :- #0.304.
link(100,39) :- #0.011.
link(39,108) :- #0.989.
link(108,39) :- #0.386.
link(39,113) :- #0.772.
link(113,39) :- #0.084.
link(40,52) :- #0.3.
link(52,40) :- #0.484.
link(40,55) :- #0.581.
link(55,40) :- #0.615.
link(40,57) :- #0.595.
link(57,40) :- #0.113.
link(40,69) :- #0.091.
link(69,40) :- #0.694.
link(40,79) :- #0.329.
link(79,40) :- #0.548.
link(40,82) :- #0.207.
link(82,40) :- #0.602.
link(40,83) :- #0.719.
link(83,40) :- #0.879.
link(40,85) :- #0.194.
link(85,40) :- #0.451.
link(40,105) :- #0.7.
link(105,40) :- #0.252.
link(40,113) :- #0.271.
link(113,40) :- #0.583.
link(40,124) :- #0.807.
link(124,40) :- #0.874.
link(41,47) :- #0.794.
link(47,41) :- #0.22.
link(41,50) :- #0.152.
link(50,41) :- #0.535.
link(41,64) :- #0.379.
link(64,41) :- #0.192.
link(41,101) :- #0.296.
link(101,41) :- #0.32.
link(41,106) :- #0.129.
link(106,41) :- #0.069.
link(41,107) :- #0.342.
link(107,41) :- #0.592.
link(41,108) :- #0.693.
link(108,41) :- #0.799.
link(41,114) :- #0.051.
link(114,41) :- #0.223.
link(41,121) :- #0.071.
link(121,41) :- #0.961.
link(42,48) :- #0.994.
link(48,42) :- #0.334.
link(42,68) :- #0.2.
link(68,42) :- #0.87.
link(42,92) :- #0.079.
link(92,42) :- #0.367.
link(42,112) :- #0.597.
link(112,42) :- #0.108.
link(42,114) :- #0.51.
link(114,42) :- #0.754.
link(43,47) :- #0.133.
link(47,43) :- #0.44.
link(43,64) :- #0.987.
link(64,43) :- #0.572.
link(43,73) :- #0.731.
link(73,43) :- #0.832.
link(43,84) :- #0.638.
link(84,43) :- #0.529.
link(43,90) :- #0.904.
link(90,43) :- #0.934.
link(43,98) :- #0.578.
link(98,43) :- #0.291.
link(43,105) :- #0.312.
link(105,43) :- #0.712.
link(44,52) :- #0.69.
link(52,44) :- #0.206.
link(44,55) :- #0.272.
link(55,44) :- #0.033.
link(44,57) :- #0.118.
link(57,44) :- #0.744.
link(44,93) :- #0.628.
link(93,44) :- #0.102.
link(44,117) :- #0.398.
link(117,44) :- #0.771.
link(44,120) :- #0.708.
link(120,44) :- #0.603.
link(45,49) :- #0.024.
link(49,45) :- #0.899.
link(45,50) :- #0.051.
link(50,45) :- #0.63.
link(45,60) :- #0.655.
link(60,45) :- #0.434.
link(45,64) :- #0.091.
link(64,45) :- #0.716.
link(45,65) :- #0.198.
link(65,45) :- #0.804.
link(45,97) :- #0.266.
link(97,45) :- #0.131.
link(45,98) :- #0.312.
link(98,45) :- #0.042.
link(45,108) :- #0.933.
link(108,45) :- #0.704.
link(45,109) :- #0.745.
link(109,45) :- #0.932.
link(46,53) :- #0.624.
link(53,46) :- #0.562.
link(46,58) :- #0.711.
link(58,46) :- #0.58.
link(46,74) :- #0.298.
link(74,46) :- #0.743.
link(46,92) :- #0.609.
link(92,46) :- #0.471.
link(46,104) :- #0.418.
link(104,46) :- #0.866.
link(46,115) :- #0.8.
link(115,46) :- #0.874.
link(47,48) :- #0.482.
link(48,47) :- #0.925.
link(47,56) :- #0.485.
link(56,47) :- #0.71.
link(47,114) :- #0.602.
link(114,47) :- #0.383.
link(48,53) :- #0.556.
link(53,48) :- #0.737.
link(48,59) :- #0.267.
link(59,48) :- #0.944.
link(48,83) :- #0.471.
link(83,48) :- #0.993.
link(48,84) :- #0.583.
link(84,48) :- #0.402.
link(48,89) :- #0.896.
link(89,48) :- #0.482.
link(48,110) :- #0.299.
link(110,48) :- #0.478.
link(48,112) :- #0.064.
link(112,48) :- #0.013.
link(48,125) :- #0.25.
link(125,48) :- #0.664.
link(49,62) :- #0.454.
link(62,49) :- #0.96.
link(49,71) :- #0.717.
link(71,49) :- #0.128.
link(49,76) :- #0.513.
link(76,49) :- #0.595.
link(49,79) :- #0.308.
link(79,49) :- #0.126.
link(49,122) :- #0.365.
link(122,49) :- #0.984.
link(50,53) :- #0.648.
link(53,50) :- #0.284.
link(50,64) :- #0.02.
link(64,50) :- #0.458.
link(50,67) :- #0.331.
link(67,50) :- #0.143.
link(50,69) :- #0.699.
link(69,50) :- #0.315.
link(50,79) :- #0.637.
link(79,50) :- #0.623.
link(50,81) :- #0.962.
link(81,50) :- #0.915.
link(50,89) :- #0.698.
link(89,50) :- #0.238.
link(50,104) :- #0.3.
link(104,50) :- #0.165.
link(50,107) :- #0.355.
link(107,50) :- #0.008.
link(50,117) :- #0.134.
link(117,50) :- #0.876.
link(50,120) :- #0.696.
link(120,50) :- #0.054.
link(50,123) :- #0.549.
link(123,50) :- #0.524.
link(51,57) :- #0.178.
link(57,51) :- #0.467.
link(51,77) :- #0.985.
link(77,51) :- #0.012.
link(51,83) :- #0.648.
link(83,51) :- #0.681.
link(51,99) :- #0.025.
link(99,51) :- #0.469.
link(51,109) :- #0.355.
link(109,51) :- #0.563.
link(51,111) :- #0.973.
link(111,51) :- #0.446.
link(51,112) :- #0.866.
link(112,51) :- #0.482.
link(51,119) :- #0.118.
link(119,51) :- #0.039.
link(51,123) :- #0.508.
link(123,51) :- #0.927.
link(52,54) :- #0.436.
link(54,52) :- #0.871.
link(52,66) :- #0.612.
link(66,52) :- #0.771.
link(52,71) :- #0.39.
link(71,52) :- #0.159.
link(52,74) :- #0.165.
link(74,52) :- #0.91.
link(52,76) :- #0.852.
link(76,52) :- #0.581.
link(52,101) :- #0.995.
link(101,52) :- #0.143.
link(52,105) :- #0.905.
link(105,52) :- #0.589.
link(52,114) :- #0.868.
link(114,52) :- #0.359.
link(52,115) :- #0.944.
link(115,52) :- #0.488.
link(53,55) :- #0.94.
link(55,53) :- #0.051.
link(53,60) :- #0.778.
link(60,53) :- #0.841.
link(53,61) :- #0.145.
link(61,53) :- #0.265.
link(53,66) :- #0.865.
link(66,53) :- #0.83.
link(53,68) :- #0.915.
link(68,53) :- #0.265.
link(53,92) :- #0.935.
link(92,53) :- #0.542.
link(53,93) :- #0.318.
link(93,53) :- #0.605.
link(53,114) :- #0.605.
link(114,53) :- #0.961.
link(53,119) :- #0.113.
link(119,53) :- #0.168.
link(54,58) :- #0.43.
link(58,54) :- #0.792.
link(54,69) :- #0.66.
link(69,54) :- #0.062.
link(54,88) :- #0.86.
link(88,54) :- #0.29.
link(54,90) :- #0.186.
link(90,54) :- #0.467.
link(54,92) :- #0.712.
link(92,54) :- #0.618.
link(54,98) :- #0.909.
link(98,54) :- #0.409.
link(54,100) :- #0.789.
link(100,54) :- #0.168.
link(54,108) :- #0.396.
link(108,54) :- #0.79.
link(55,65) :- #0.893.
link(65,55) :- #0.78.
link(55,79) :- #0.512.
link(79,55) :- #0.256.
link(56,63) :- #0.53.
link(63,56) :- #0.291.
link(56,83) :- #0.311.
link(83,56) :- #0.792.
link(56,84) :- #0.443.
link(84,56) :- #0.804.
link(56,88) :- #0.27.
link(88,56) :- #0.575.
link(56,89) :- #0.846.
link(89,56) :- #0.956.
link(56,95) :- #0.727.
link(95,56) :- #0.873.
link(56,98) :- #0.695.
link(98,56) :- #0.323.
link(56,99) :- #0.242.
link(99,56) :- #0.828.
link(56,114) :- #0.987.
link(114,56) :- #0.356.
link(56,120) :- #0.564.
link(120,56) :- #0.33.
link(57,63) :- #0.24.
link(63,57) :- #0.503.
link(57,71) :- #0.851.
link(71,57) :- #0.846.
link(57,103) :- #0.722.
link(103,57) :- #0.932.
link(57,107) :- #0.896.
link(107,57) :- #0.789.
link(58,68) :- #0.561.
link(68,58) :- #0.573.
link(58,97) :- #0.181.
link(97,58) :- #0.583.
link(58,99) :- #0.484.
link(99,58) :- #0.681.
link(58,111) :- #0.088.
link(111,58) :- #0.056.
link(59,71) :- #0.252.
link(71,59) :- #0.265.
link(59,73) :- #0.303.
link(73,59) :- #0.706.
link(59,78) :- #0.76.
link(78,59) :- #0.263.
link(59,97) :- #0.3.
link(97,59) :- #0.11.
link(59,98) :- #0.767.
link(98,59) :- #0.27.
link(59,100) :- #0.352.
link(100,59) :- #0.587.
link(59,117) :- #0.173.
link(117,59) :- #0.652.
link(59,118) :- #0.199.
link(118,59) :- #0.819.
link(60,62) :- #0.943.
link(62,60) :- #0.638.
link(60,91) :- #0.744.
link(91,60) :- #0.601.
link(60,93) :- #0.193.
link(93,60) :- #0.099.
link(60,105) :- #0.838.
link(105,60) :- #0.093.
link(60,115) :- #0.456.
link(115,60) :- #0.456.
link(60,118) :- #0.591.
link(118,60) :- #0.849.
link(61,63) :- #0.034.
link(63,61) :- #0.144.
link(61,81) :- #0.069.
link(81,61) :- #0.636.
link(61,84) :- #0.97.
link(84,61) :- #0.98.
link(61,105) :- #0.888.
link(105,61) :- #0.292.
link(61,108) :- #0.116.
link(108,61) :- #0.495.
link(61,118) :- #0.741.
link(118,61) :- #0.13.
link(61,121) :- #0.998.
link(121,61) :- #0.893.
link(61,124) :- #0.497.
link(124,61) :- #0.084.
link(62,69) :- #0.389.
link(69,62) :- #0.61.
link(62,72) :- #0.216.
link(72,62) :- #0.693.
link(62,92) :- #0.36.
link(92,62) :- #0.275.
link(62,107) :- #0.287.
link(107,62) :- #0.306.
link(63,75) :- #0.948.
link(75,63) :- #0.981.
link(63,112) :- #0.385.
link(112,63) :- #0.717.
link(63,116) :- #0.732.
link(116,63) :- #0.372.
link(63,117) :- #0.081.
link(117,63) :- #0.665.
link(63,118) :- #0.625.
link(118,63) :- #0.208.
link(64,75) :- #0.473.
link(75,64) :- #0.722.
link(64,85) :- #0.953.
link(85,64) :- #0.299.
link(64,97) :- #0.161.
link(97,64) :- #0.721.
link(65,76) :- #0.644.
link(76,65) :- #0.131.
link(65,82) :- #0.399.
link(82,65) :- #0.72.
link(65,92) :- #0.659.
link(92,65) :- #0.352.
link(65,95) :- #0.221.
link(95,65) :- #0.102.
link(65,115) :- #0.036.
link(115,65) :- #0.486.
link(65,125) :- #0.36.
link(125,65) :- #0.662.
link(66,95) :- #0.317.
link(95,66) :- #0.666.
link(66,116) :- #0.566.
link(116,66) :- #0.747.
link(67,97) :- #0.201.
link(97,67) :- #0.783.
link(67,100) :- #0.601.
link(100,67) :- #0.967.
link(67,120) :- #0.941.
link(120,67) :- #0.636.
link(68,78) :- #0.287.
link(78,68) :- #0.66.
link(68,80) :- #0.925.
link(80,68) :- #0.35.
link(68,84) :- #0.047.
link(84,68) :- #0.762.
link(68,107) :- #0.587.
link(107,68) :- #0.599.
link(68,124) :- #0.884.
link(124,68) :- #0.83.
link(69,70) :- #0.196.
link(70,69) :- #0.779.
link(69,71) :- #0.585.
link(71,69) :- #0.465.
link(69,72) :- #0.256.
link(72,69) :- #0.004.
link(69,82) :- #0.55.
link(82,69) :- #0.942.
link(69,93) :- #0.344.
link(93,69) :- #0.354.
link(69,96) :- #0.315.
link(96,69) :- #0.537.
link(69,113) :- #0.935.
link(113,69) :- #0.486.
link(69,116) :- #0.869.
link(116,69) :- #0.255.
link(70,96) :- #0.409.
link(96,70) :- #0.35.
link(70,106) :- #0.987.
link(106,70) :- #0.765.
link(70,107) :- #0.378.
link(107,70) :- #0.011.
link(70,110) :- #0.245.
link(110,70) :- #0.561.
link(70,117) :- #0.151.
link(117,70) :- #0.533.
link(70,124) :- #0.212.
link(124,70) :- #0.241.
link(71,80) :- #0.637.
link(80,71) :- #0.528.
link(71,90) :- #0.744.
link(90,71) :- #0.457.
link(71,102) :- #0.77.
link(102,71) :- #0.536.
link(71,111) :- #0.746.
link(111,71) :- #0.263.
link(71,113) :- #0.526.
link(113,71) :- #0.382.
link(71,117) :- #0.383.
link(117,71) :- #0.223.
link(72,81) :- #0.244.
link(81,72) :- #0.311.
link(72,86) :- #0.305.
link(86,72) :- #0.76.
link(72,99) :- #0.931.
link(99,72) :- #0.053.
link(72,106) :- #0.085.
link(106,72) :- #0.536.
link(73,108) :- #0.17.
link(108,73) :- #0.261.
link(73,116) :- #0.91.
link(116,73) :- #0.479.
link(73,122) :- #0.351.
link(122,73) :- #0.697.
link(74,87) :- #0.701.
link(87,74) :- #0.839.
link(74,90) :- #0.132.
link(90,74) :- #0.217.
link(74,113) :- #0.733.
link(113,74) :- #0.091.
link(74,117) :- #0.135.
link(117,74) :- #0.31.
link(74,123) :- #0.477.
link(123,74) :- #0.676.
link(74,124) :- #0.899.
link(124,74) :- #0.942.
link(74,125) :- #0.774.
link(125,74) :- #0.588.
link(75,79) :- #0.609.
link(79,75) :- #0.317.
link(75,96) :- #0.34.
link(96,75) :- #0.499.
link(75,101) :- #0.244.
link(101,75) :- #0.419.
link(75,103) :- #0.457.
link(103,75) :- #0.815.
link(75,110) :- #0.724.
link(110,75) :- #0.817.
link(75,113) :- #0.186.
link(113,75) :- #0.45.
link(75,114) :- #0.726.
link(114,75) :- #0.772.
link(75,125) :- #0.425.
link(125,75) :- #0.752.
link(76,79) :- #0.879.
link(79,76) :- #0.724.
link(76,86) :- #0.129.
link(86,76) :- #0.419.
link(76,88) :- #0.604.
link(88,76) :- #0.341.
link(76,106) :- #0.405.
link(106,76) :- #0.225.
link(76,117) :- #0.326.
link(117,76) :- #0.563.
link(76,120) :- #0.329.
link(120,76) :- #0.237.
link(77,80) :- #0.901.
link(80,77) :- #0.036.
link(77,85) :- #0.966.
link(85,77) :- #0.019.
link(77,89) :- #0.894.
link(89,77) :- #0.733.
link(77,96) :- #0.577.
link(96,77) :- #0.194.
link(77,121) :- #0.782.
link(121,77) :- #0.852.
link(78,81) :- #0.432.
link(81,78) :- #0.017.
link(78,122) :- #0.844.
link(122,78) :- #0.647.
link(79,80) :- #0.288.
link(80,79) :- #0.22.
link(79,99) :- #0.584.
link(99,79) :- #0.11.
link(80,94) :- #0.994.
link(94,80) :- #0.846.
link(80,106) :- #0.314.
link(106,80) :- #0.26.
link(80,115) :- #0.952.
link(115,80) :- #0.964.
link(80,120) :- #0.254.
link(120,80) :- #0.782.
link(81,83) :- #0.26.
link(83,81) :- #0.707.
link(81,84) :- #0.162.
link(84,81) :- #0.164.
link(81,95) :- #0.348.
link(95,81) :- #0.683.
link(81,97) :- #0.49.
link(97,81) :- #0.007.
link(81,101) :- #0.124.
link(101,81) :- #0.512.
link(81,103) :- #0.041.
link(103,81) :- #0.59.
link(81,110) :- #0.043.
link(110,81) :- #0.346.
link(82,86) :- #0.574.
link(86,82) :- #0.783.
link(82,89) :- #0.838.
link(89,82) :- #0.18.
link(82,93) :- #0.138.
link(93,82) :- #0.397.
link(82,104) :- #0.799.
link(104,82) :- #0.591.
link(82,112) :- #0.748.
link(112,82) :- #0.607.
link(82,113) :- #0.598.
link(113,82) :- #0.974.
link(82,120) :- #0.385.
link(120,82) :- #0.329.
link(83,84) :- #0.478.
link(84,83) :- #0.213.
link(83,97) :- #0.995.
link(97,83) :- #0.777.
link(84,93) :- #0.793.
link(93,84) :- #0.042.
link(84,117) :- #0.847.
link(117,84) :- #0.648.
link(84,118) :- #0.004.
link(118,84) :- #0.666.
link(85,87) :- #0.259.
link(87,85) :- #0.945.
link(85,100) :- #0.306.
link(100,85) :- #0.93.
link(86,91) :- #0.681.
link(91,86) :- #0.498.
link(86,105) :- #0.709.
link(105,86) :- #0.68.
link(86,107) :- #0.445.
link(107,86) :- #0.486.
link(86,108) :- #0.895.
link(108,86) :- #0.663.
link(86,110) :- #0.276.
link(110,86) :- #0.257.
link(86,111) :- #0.142.
link(111,86) :- #0.431.
link(86,116) :- #0.067.
link(116,86) :- #0.189.
link(86,120) :- #0.742.
link(120,86) :- #0.15.
link(86,123) :- #0.178.
link(123,86) :- #0.437.
link(87,88) :- #0.032.
link(88,87) :- #0.897.
link(87,89) :- #0.983.
link(89,87) :- #0.829.
link(87,93) :- #0.711.
link(93,87) :- #0.102.
link(87,96) :- #0.932.
link(96,87) :- #0.639.
link(87,107) :- #0.65.
link(107,87) :- #0.955.
link(87,116) :- #0.514.
link(116,87) :- #0.186.
link(87,120) :- #0.715.
link(120,87) :- #0.33.
link(88,90) :- #0.289.
link(90,88) :- #0.484.
link(88,96) :- #0.243.
link(96,88) :- #0.484.
link(88,103) :- #0.154.
link(103,88) :- #0.154.
link(88,122) :- #0.882.
link(122,88) :- #0.294.
link(89,97) :- #0.063.
link(97,89) :- #0.395.
link(89,117) :- #0.568.
link(117,89) :- #0.264.
link(89,124) :- #0.195.
link(124,89) :- #0.706.
link(89,125) :- #0.858.
link(125,89) :- #0.037.
link(90,91) :- #0.531.
link(91,90) :- #0.607.
link(90,93) :- #0.806.
link(93,90) :- #0.718.
link(90,99) :- #0.866.
link(99,90) :- #0.581.
link(90,102) :- #0.692.
link(102,90) :- #0.18.
link(91,93) :- #0.462.
link(93,91) :- #0.819.
link(91,97) :- #0.304.
link(97,91) :- #0.633.
link(91,98) :- #0.985.
link(98,91) :- #0.759.
link(91,102) :- #0.235.
link(102,91) :- #0.498.
link(92,108) :- #0.735.
link(108,92) :- #0.425.
link(93,117) :- #0.645.
link(117,93) :- #0.811.
link(93,123) :- #0.7.
link(123,93) :- #0.955.
link(94,106) :- #0.851.
link(106,94) :- #0.679.
link(94,107) :- #0.045.
link(107,94) :- #0.374.
link(95,109) :- #0.542.
link(109,95) :- #0.255.
link(95,118) :- #0.661.
link(118,95) :- #0.618.
link(96,123) :- #0.6.
link(123,96) :- #0.297.
link(96,124) :- #0.363.
link(124,96) :- #0.331.
link(97,100) :- #0.91.
link(100,97) :- #0.887.
link(97,102) :- #0.782.
link(102,97) :- #0.158.
link(97,108) :- #0.68.
link(108,97) :- #0.669.
link(97,113) :- #0.674.
link(113,97) :- #0.931.
link(97,119) :- #0.274.
link(119,97) :- #0.983.
link(97,121) :- #0.884.
link(121,97) :- #0.426.
link(97,122) :- #0.111.
link(122,97) :- #0.241.
link(98,117) :- #0.008.
link(117,98) :- #0.633.
link(98,124) :- #0.347.
link(124,98) :- #0.491.
link(99,102) :- #0.626.
link(102,99) :- #0.794.
link(99,107) :- #0.108.
link(107,99) :- #0.381.
link(99,120) :- #0.922.
link(120,99) :- #0.866.
link(99,124) :- #0.222.
link(124,99) :- #0.134.
link(100,122) :- #0.558.
link(122,100) :- #0.518.
link(101,117) :- #0.536.
link(117,101) :- #0.95.
link(101,125) :- #0.42.
link(125,101) :- #0.923.
link(102,112) :- #0.128.
link(112,102) :- #0.742.
link(102,119) :- #0.585.
link(119,102) :- #0.487.
link(102,121) :- #0.178.
link(121,102) :- #0.871.
link(102,123) :- #0.746.
link(123,102) :- #0.313.
link(103,115) :- #0.104.
link(115,103) :- #0.573.
link(104,109) :- #0.844.
link(109,104) :- #0.826.
link(104,115) :- #0.276.
link(115,104) :- #0.936.
link(105,118) :- #0.62.
link(118,105) :- #0.108.
link(106,114) :- #0.254.
link(114,106) :- #0.466.
link(106,116) :- #0.801.
link(116,106) :- #0.312.
link(106,117) :- #0.962.
link(117,106) :- #0.482.
link(106,119) :- #0.26.
link(119,106) :- #0.141.
link(108,118) :- #0.51.
link(118,108) :- #0.553.
link(108,124) :- #0.342.
link(124,108) :- #0.015.
link(109,116) :- #0.731.
link(116,109) :- #0.231.
link(109,122) :- #0.958.
link(122,109) :- #0.791.
link(110,114) :- #0.891.
link(114,110) :- #0.919.
link(111,125) :- #0.813.
link(125,111) :- #0.094.
link(112,121) :- #0.083.
link(121,112) :- #0.443.
link(113,125) :- #0.092.
link(125,113) :- #0.479.
link(114,125) :- #0.36.
link(125,114) :- #0.024.
link(115,116) :- #0.209.
link(116,115) :- #0.209.
link(115,118) :- #0.821.
link(118,115) :- #0.823.
link(115,122) :- #0.18.
link(122,115) :- #0.95.
link(115,124) :- #0.26.
link(124,115) :- #0.934.
link(116,120) :- #0.196.
link(120,116) :- #0.599.
link(116,121) :- #0.253.
link(121,116) :- #0.031.
link(120,123) :- #0.998.
link(123,120) :- #0.848.
link(123,125) :- #0.19.
link(125,123) :- #0.398.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
